/*
 * SimplificationListener.java
 *
 * Created on den 24 oktober 2007, 10:18
 *
 * To change this template, choose Tools | Template Manager
 * and open the template in the editor.
 */

package grex;

/**
 *
 * @author RIK
 */
public interface SimplificationListener {
    public void simplificationStarted(Simplyfier source);
    public void simplificationGenerationTerminated(Simplyfier source);
    public void simplifictionTerminated(Simplyfier source);
}
